Boolean function

Results: 326



#Item
281Applied mathematics / Convex optimization / Linear programming / Optimization problem / Pseudo-Boolean function / Operations research / Mathematical optimization / Mathematics

c Pleiades Publishing, Ltd., 2011. ISSN[removed], Journal of Applied and Industrial Mathematics, 2011, Vol. 5, No. 2, pp. 180–190.  c V.L. Beresnev, A.A. Mel’nikov, 2010, published in Diskretnyi Analiz i Issledovan

Add to Reading List

Source URL: www.math.nsc.ru

Language: English - Date: 2011-07-08 06:11:27
282Propositional calculus / Boolean algebra / Semantics / Non-classical logic / Modal logic / Interpretation / Function / Propositional formula / Tautology / Logic / Mathematical logic / Mathematics

PDF Document

Add to Reading List

Source URL: www.hist-analytic.com

Language: English - Date: 2011-07-30 20:46:56
283Model theory / Boolean algebra / Propositional calculus / Cutting-plane method / Resolution / First-order logic / Function / Interpretation / Linear programming / Mathematics / Logic / Mathematical logic

First-Order Mixed Integer Linear Programming Geoffrey J. Gordon Machine Learning Department Carnegie Mellon University Pittsburgh, PA 15213

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2009-05-28 09:34:43
284Measure theory / Probability theory / Sigma-algebra / Holomorphic functional calculus / Mathematical analysis / Mathematics / Boolean algebra

2 Multiple Series & Exponetial Function 2.1 Multiple Series & Half Multiple Series Formula[removed]When m is a non-negative integer, the following expressions hold.

Add to Reading List

Source URL: fractional-calculus.com

Language: English - Date: 2013-11-11 23:38:53
285Philosophical logic / Classical logic / Propositional calculus / Algebraic logic / Logical consequence / Boolean algebra / Function / Term logic / Entailment / Logic / Mathematical logic / Mathematics

i i “p01c01˙his” — [removed] — 10:11 — page 3 — #3 i

Add to Reading List

Source URL: gauss.ececs.uc.edu

Language: English - Date: 2011-07-05 08:44:49
286Propositional calculus / Boolean algebra / Semantics / Non-classical logic / Modal logic / Interpretation / Function / Propositional formula / Tautology / Logic / Mathematical logic / Mathematics

PDF Document

Add to Reading List

Source URL: hist-analytic.com

Language: English - Date: 2011-07-30 20:46:56
287Ordinal numbers / Constructible universe / Axiom schema of replacement / Absoluteness / Zermelo–Fraenkel set theory / Normal function / Forcing / Boolean-valued model / Mathematical logic / Mathematics / Set theory

The Reflection Theorem: A Study in Meta-Theoretic Reasoning Lawrence C. Paulson University of Cambridge, Computer Laboratory, JJ Thomson Avenue, Cambridge CB3 0FD, UK, [removed]

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2003-10-29 08:25:04
288Non-classical logic / Propositional calculus / Boolean algebra / Philosophical logic / Modal logic / Prime number / Description logic / Function / Propositional formula / Logic / Mathematical logic / Mathematics

Consequence Finding in ALC Meghyn Bienvenu IRIT, Universit´e Paul Sabatier Toulouse, France [removed]

Add to Reading List

Source URL: www.ceur-ws.org

Language: English - Date: 2007-05-22 01:39:22
289Topology / Abstract algebra / Algebraic logic / Logarithm / Function / Metric / Boolean algebra / Euclidean vector / Mathematics / Algebra / Functions and mappings

Matching performed by David Niecikowski, University of Arizona College of Education Doctoral Student GRD K[removed]

Add to Reading List

Source URL: www.otb-games.com

Language: English - Date: 2013-07-23 13:12:50
UPDATE